-
1 верификация программы
верификация программы
верификация
Доказательство того, что поведение программы соответствует спецификации на эту программу.
[ ГОСТ 19781-90]Тематики
- обеспеч. систем обраб. информ. программное
Синонимы
EN
Верификация
Program verification
Доказательство того, что поведение программы соответствует спецификации на эту программу
Источник: ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа
5 Верификация программы - проверка (доказательство) логической непротиворечивости программы.
Русско-английский словарь нормативно-технической терминологии > верификация программы
-
2 верификация программы
Русско-английский большой базовый словарь > верификация программы
-
3 верификация программы
1) Engineering: program verification2) Automation: verifying the programУниверсальный русско-английский словарь > верификация программы
-
4 верификация программы
Русско-английский политехнический словарь > верификация программы
-
5 проверка верификация программы
Information technology: program verificationУниверсальный русско-английский словарь > проверка верификация программы
-
6 проверка правильности верификация программы
Information technology: program verificationУниверсальный русско-английский словарь > проверка правильности верификация программы
-
7 верификация
ж. вчт. verification -
8 верификация
Русско-английский словарь по информационным технологиям > верификация
-
9 верификация (доказательство правильности) программы
верификация (доказательство правильности) программы
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация (доказательство правильности) программы
-
10 верификация кода
верификация кода
Проверка соответствия кода [программы] для ЭВМ установленным техническим требованиям.
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация кода
-
11 верификация программ
верификация программ
1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается.
2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873).
[Домарев В.В. Безопасность информационных технологий. Системный подход.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация программ
-
12 машинная верификация
Русско-английский большой базовый словарь > машинная верификация
-
13 функциональная верификация
Русско-английский большой базовый словарь > функциональная верификация
-
14 составление программы
1. program composition2. program constructionзагрузчик; программа загрузки — load program
3. program design4. program preparationРусско-английский большой базовый словарь > составление программы
-
15 формальная верификация
( формальное доказательство соответствия программы ее спецификации) formal verificationРусско-английский словарь по вычислительной технике и программированию > формальная верификация
-
16 результат верификации
Русско-английский словарь по информационным технологиям > результат верификации
См. также в других словарях:
верификация программы — верификация Доказательство того, что поведение программы соответствует спецификации на эту программу. [ГОСТ 19781 90] Тематики обеспеч. систем обраб. информ. программное Синонимы верификация EN program verification … Справочник технического переводчика
Верификация программы — 54. Верификация программы Верификация Program verification Доказательство того, что поведение программы соответствует спецификации на эту программу Источник: ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и… … Словарь-справочник терминов нормативно-технической документации
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
ВЕРИФИКАЦИЯ — (от лат. verificatio доказательство, подтверждение) установление истинности или эмпирической осмысленности научных утверждений. Этот термин получил широкое распространение в связи с неопозитивистской программой эмпирического обоснования науки. С… … Философская энциклопедия
верификация (доказательство правильности) программы — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN program verification … Справочник технического переводчика
верификация кода — Проверка соответствия кода [программы] для ЭВМ установленным техническим требованиям. [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом EN code audit … Справочник технического переводчика
верификация программ — 1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается. 2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873). [Домарев В.В. Безопасность… … Справочник технического переводчика
Верификация — Позитивизм … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году [1].… … Википедия
ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения — Терминология ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа: 9. Абсолютная программа Non relocatable program Программа на машинном языке, выполнение которой зависит от ее… … Словарь-справочник терминов нормативно-технической документации